% 20-point PUNK font
designsize:=20pt#;
ht#:=14pt#;	% height of characters
u#:=4/9pt#;	% unit width
s#:=2pt#;	% extra sidebar
px#:=2/3pt#;	% horizontal thickness of pen
py#:=1/2pt#;	% vertical thickness of pen
dot#:=2pt#;	% diameter of dots
dev#:=1pt#;	% standard deviation of punk points
seed:=3.142;	% seed for random number generator
input punk
end